Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
51	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
52	Faster Implementation of Scalar Multiplication on Koblitz Curves Diego F. Aranha Armando Faz Hern´andez Julio L´opez Francisco Rodr´ıguez Henr´ıquez Add to Reading List Source URL: delta.cs.cinvestav.mx Language: English - Date: 2014-08-19 19:30:20 Group theory Scalar multiplication Elliptic curve Vector space
53	Real-Time Implementation and Hardware Testing of a Hybrid Vehicle Energy Management Controller Based on Stochastic Dynamic Programming Daniel F. Opila Xiaoyong Wang Graduate Research Assistant Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2016-04-25 13:15:13 Mechanical engineering Embedded systems Gears Kinematics Machines Transmission Engine control unit Dynamometer Control theory Hardware-in-the-loop simulation
54	Non-Bayesian Optimal Search and Dynamic Implementation Alex Gershkov and Benny Moldovanu January 22, 2009 Abstract Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Probability distributions Statistical theory Bayesian statistics Bayesian inference Statistical forecasting Statistical inference Principle of maximum entropy Dirichlet distribution Mechanism design XK Multinomial distribution Normal distribution
55	A SPATIAL DECISION SUPPORT SYSTEM FOR LOCATIONAL PLANNING: DESIGN, IMPLEMENTATION AND OPERATION Paul J. Densham Department of Geography University of Iowa, Iowa City, IA Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:16:37 Decision theory Information systems Spatial decision support system Spatial analysis Decision support system Database
56	The Implementation of equal? and eq? in the MT Virtual Machine Add to Reading List Source URL: con.racket-lang.org Language: English - Date: 2014-03-07 23:24:47 Recursion Theoretical computer science Mathematical logic Computability theory Programming idioms Infinite loop Functional programming Algorithm Structural induction
57	PUBLIC ADMINISTRATION 590: STRATEGIC POLICY ANALYSIS AND IMPLEMENTATION Instructor: David Soherr-Hadwiger Email: Phone: Add to Reading List Source URL: spa.unm.edu Language: English - Date: 2014-05-29 12:18:06 Evaluation methods Political science Public administration Decision theory Policy Costbenefit analysis Policy analysis Farnham Public policy Best practice
58	Software implementation of binary elliptic curves: impact of the carry-less multiplier on scalar multiplication J. Taverne0 , A. Faz-Hern´andez1 , D. F. Aranha2 , F. Rodr´ıguez-Henr´ıquez1 , D. Hankerson3 , J. L´op Add to Reading List Source URL: delta.cs.cinvestav.mx Language: English - Date: 2014-08-19 19:28:54 Elliptic curve cryptography Finite fields Public-key cryptography Group theory Elliptic curves Elliptic curve Cryptography Multiplication algorithm Workshop on Cryptographic Hardware and Embedded Systems ECC patents
59	Non-Bayesian Optimal Search and Dynamic Implementation Alex Gershkov and Benny Moldovanu January 22, 2009 Abstract Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Probability distributions Statistical theory Bayesian statistics Bayesian inference Statistical forecasting Statistical inference Principle of maximum entropy Dirichlet distribution Mechanism design XK Multinomial distribution Normal distribution
60	Ex-post Implementation and Preference Aggregation via Potentials Philippe Jehiel, Moritz Meyer-ter-Vehn and Benny Moldovanu February 26, 2007 Abstract Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Game theory Mechanism design Social choice theory Monotonicity

UPDATE